second-order lambda-calculus

二阶 Lamda 微积分

热门查询

veto　　n. 否决权 vt. 否决；禁止 vi. 否决；禁止
motivation　　n. 动机；积极性；推动
ruck　　n. 皱；普通人；大量 n. (Ruck)人名；(德、匈、意、瑞典)鲁克；(英)拉克 vt. 弄皱 vi. 变皱
breaching　　n. 烟道导管；烟道总管；模拟板实验性电路板功能试验
russell　　n. 拉塞尔（英国工程师，整流器发明人）
swale　　n. 沼泽地 vt. 放火烧；耗费 vi. 烧焦；熔化
NY　　abbr. 纽约（美国一座城市，New York）
sugarless　　adj. 无糖的；不含糖的（尤指用糖精配制的）
unseat　　vt. 罢免；剥夺…的席位；使失去资格；使从座位上（或马背上）摔下
seismometer　　n. 地震仪；地震检波器
yummy　　n. 美味的东西；令人喜爱的东西 adj. 好吃的；美味的；愉快的
inefficacy　　n. 无效；无效力
bit　　n. [计] 比特（二进位制信息单位）；少量；马嚼子；辅币；老一套；一点，一块 adj. 很小的；微不足道的 vt. 咬（bite的过去式和过去分词） vt. 控制 adv. 有点儿；相当
esplanade　　n. 游憩场，散步路；平坦空地
unexpectedness　　n. 出乎意外，突然
desegregated　　vt. 使…废止种族隔离 vi. 废止种族隔离
Roden　　[人名] [爱尔兰姓氏] 罗登盖尔语姓氏的英语形式，来源于人名，含义是“衷心的，活跃的”(hearty,lively); [人名] [英格兰人姓氏] 罗登 Roddam的变体; [地名] [德国、荷兰] 罗登
team-mate　　队友
version　　n. 版本；译文；倒转术
abysmally　　adv. 极度地；深不可测地